From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Day 4 of Learning System Design: Mastering Consistent Hashing
dev.to·5h·
Discuss: DEV
🌐Distributed Hash
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
What people said about an OpenZFS bug
despairlabs.com·1d·
Discuss: Lobsters, Hacker News
🔒Type Safety
Software is Never Done: Embracing Constant Evolution and Change will Result in a Better System
itnext.io·1d
🔄Language Evolution
Quicksilver v2: evolution of a globally distributed key-value store (Part 2)
blog.cloudflare.com·3h
🔄Sync Engine
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Why We Develop EloqDB Mainly in C++
eloqdata.com·2h·
Discuss: Hacker News
🦀Rust Borrowing
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·12h
🗂️Vector Databases
[$] Scheduler medley: time-slice extension, sched_ext deadline servers, and LRU batching.
lwn.net·2h
🐚Bash Combinators
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2h
🔌Interface Evolution
Lessons from scaling PostgreSQL queues to 100k events per second
rudderstack.com·2h·
Discuss: Hacker News
🧬PostgreSQL Forensics
An engineer’s path from data loss to software preservation
softwareheritage.org·1d
🔄Archival Workflows
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·5h
🦀Rust Macros
Zig Interface Revisited
williamw520.github.io·1d·
Discuss: Hacker News
🧩WASM Components
Janet Feature Demos
github.com·1d·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·47m·
Discuss: Hacker News
🔒WASM Capabilities
How do you structure your "shared" internal packages in a monorepo?
reddit.com·2d·
Discuss: r/golang
📦Content Addressable